/* eslint-disable jsdoc/check-values */
/**
 * @TLA only
 * @kind __start
 * @returns {Promise<void>}
 */
// eslint-disable-next-line unicorn/no-thenable
export async function then() {
  return new Promise((resolve, reject) => {
    setTimeout(resolve, 2000);
  });
}

/**
 * @kind __end
 */
(async () => {})();
